Charlie is round. Fiona is green. Fiona is white. Gary is white. Harry is blue. Harry is white. Harry is young. All blue, rough things are big. Blue, rough things are white. Blue things are rough. All green things are rough. If something is young then it is round. If Fiona is green then Fiona is big.
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
All blue, rough things are big.
((("something" "is" "blue" "+") ("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
Blue, rough things are white.
((("something" "is" "blue" "+") ("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
Blue things are rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
All green things are rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
If something is young then it is round.
((("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
If Fiona is green then Fiona is big.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "big" "+"))
Harry is blue.
True
1
proof
[(triple5)]
("Harry" "is" "blue" "+")
triple5
Gary is not white.
False
1
inv-proof
[(triple4)]
("Gary" "is" "white" "-")
triple4
Fiona is big.
True
2
proof
[(((triple2) -> rule6))]
("Fiona" "is" "big" "+")
((triple2) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not big.
False
2
inv-proof
[(((triple2) -> rule6))]
("Fiona" "is" "big" "-")
((triple2) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Harry is big.
True
4
proof
[(((triple5 ((triple5) -> rule3)) -> rule1))]
("Harry" "is" "big" "+")
((triple5 ((triple5) -> (rule3 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is not big.
False
4
inv-proof
[(((triple5 ((triple5) -> rule3)) -> rule1))]
("Harry" "is" "big" "-")
((triple5 ((triple5) -> (rule3 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "round" "+")
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "rough" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Charlie is round.[(triple1)] Fiona is green.[(triple2)] Fiona is white.[(triple3)] Gary is white.[(triple4)] Harry is blue.[(triple5)] Harry is white.[(triple6 OR ((triple5 ((triple5) -> rule3)) -> rule2))] Harry is young.[(triple7)] @1: Fiona is big.[(((triple2) -> rule6))] Fiona is rough.[(((triple2) -> rule4))] Harry is rough.[(((triple5) -> rule3))] Harry is round.[(((triple7) -> rule5))] @2: Harry is big.[(((triple5 ((triple5) -> rule3)) -> rule1))]
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Fiona is white.
("Fiona" "is" "white" "+")
triple3
Gary is white.
("Gary" "is" "white" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple5
Harry is white.
("Harry" "is" "white" "+")
triple6
((triple5 ((triple5) -> (rule3 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
((triple2) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple2) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple5) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple7) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple5 ((triple5) -> (rule3 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2