Fiona is red. Fiona is round. Harry is round. If Harry is green then Harry is blue. Green things are rough. If something is round then it is green.
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is round.
("Harry" "is" "round" "+")
If Harry is green then Harry is blue.
((("Harry" "is" "green" "+")) -> ("Harry" "is" "blue" "+"))
Green things are rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
If something is round then it is green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
Fiona is red.
True
1
proof
[(triple1)]
("Fiona" "is" "red" "+")
triple1
Harry is not round.
False
1
inv-proof
[(triple3)]
("Harry" "is" "round" "-")
triple3
Harry is green.
True
2
proof
[(((triple3) -> rule3))]
("Harry" "is" "green" "+")
((triple3) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
2
inv-proof
[(((triple3) -> rule3))]
("Harry" "is" "green" "-")
((triple3) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Fiona is rough.
True
3
proof
[(((((triple2) -> rule3)) -> rule2))]
("Fiona" "is" "rough" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Harry is not rough.
False
3
inv-proof
[(((((triple3) -> rule3)) -> rule2))]
("Harry" "is" "rough" "-")
((((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
Harry is not white.
Unknown
inv-random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Fiona is red.[(triple1)] Fiona is round.[(triple2)] Harry is round.[(triple3)] @1: Fiona is green.[(((triple2) -> rule3))] Harry is green.[(((triple3) -> rule3))] @2: Fiona is rough.[(((((triple2) -> rule3)) -> rule2))] Harry is blue.[(((((triple3) -> rule3)) -> rule1))] Harry is rough.[(((((triple3) -> rule3)) -> rule2))]
Fiona is red.
("Fiona" "is" "red" "+")
triple1
Fiona is round.
("Fiona" "is" "round" "+")
triple2
Harry is round.
("Harry" "is" "round" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
((triple2) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple3) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2