Dave is big. Dave is green. Dave is quiet. Dave is white. Dave is young. Fiona is white. Harry is big. Harry is green. Harry is quiet. Harry is smart. Harry is white. Harry is young. All white things are green.
Dave is big.
("Dave" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
All white things are green.
((("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
Dave is quiet.
True
1
proof
[(triple3)]
("Dave" "is" "quiet" "+")
triple3
Dave is not green.
False
1
inv-proof
[(triple2 OR ((triple4) -> rule1))]
("Dave" "is" "green" "-")
triple2
((triple4) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Fiona is green.
True
2
proof
[(((triple6) -> rule1))]
("Fiona" "is" "green" "+")
((triple6) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple6) -> rule1))]
("Fiona" "is" "green" "-")
((triple6) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Dave is big.[(triple1)] Dave is green.[(triple2 OR ((triple4) -> rule1))] Dave is quiet.[(triple3)] Dave is white.[(triple4)] Dave is young.[(triple5)] Fiona is white.[(triple6)] Harry is big.[(triple7)] Harry is green.[(triple8 OR ((triple11) -> rule1))] Harry is quiet.[(triple9)] Harry is smart.[(triple10)] Harry is white.[(triple11)] Harry is young.[(triple12)] @1: Fiona is green.[(((triple6) -> rule1))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
((triple4) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Dave is white.
("Dave" "is" "white" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple5
Fiona is white.
("Fiona" "is" "white" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple8
((triple11) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
Harry is white.
("Harry" "is" "white" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Fiona is green.
("Fiona" "is" "green" "+")
((triple6) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1