Dave is big. Fiona is red. Gary is green. Harry is round. If something is blue then it is green. If something is round and green then it is big. If Gary is kind then Gary is big. If something is green then it is round. Blue things are round. All blue things are rough.
Dave is big.
("Dave" "is" "big" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
If something is blue then it is green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
If something is round and green then it is big.
((("something" "is" "round" "+") ("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
If Gary is kind then Gary is big.
((("Gary" "is" "kind" "+")) -> ("Gary" "is" "big" "+"))
If something is green then it is round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
Blue things are round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
All blue things are rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
Harry is round.
True
1
proof
[(triple4)]
("Harry" "is" "round" "+")
triple4
Fiona is not red.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "red" "-")
triple2
Gary is round.
True
2
proof
[(((triple3) -> rule4))]
("Gary" "is" "round" "+")
((triple3) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple3) -> rule4))]
("Gary" "is" "round" "-")
((triple3) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Fiona is not round.
Unknown
inv-rconc
[@2: Fiona is round.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Fiona" "is" "round" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "green" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Dave is big.[(triple1)] Fiona is red.[(triple2)] Gary is green.[(triple3)] Harry is round.[(triple4)] @1: Gary is round.[(((triple3) -> rule4))] @2: Gary is big.[(((((triple3) -> rule4) triple3) -> rule2))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Fiona is red.
("Fiona" "is" "red" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple3
Harry is round.
("Harry" "is" "round" "+")
triple4
Gary is round.
("Gary" "is" "round" "+")
((triple3) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((((triple3) -> (rule4 % int2)) triple3) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2