Anne is big. Anne is smart. Anne is white. Anne is young. Fiona is round. Gary is big. Gary is cold. Gary is smart. Gary is white. Harry is smart. Young, cold things are white. If something is white then it is blue. All big things are blue. All round things are smart. If Gary is big then Gary is blue. If something is smart and round then it is big.
Anne is big.
("Anne" "is" "big" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Young, cold things are white.
((("something" "is" "young" "+") ("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
If something is white then it is blue.
((("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
All big things are blue.
((("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
All round things are smart.
((("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
If Gary is big then Gary is blue.
((("Gary" "is" "big" "+")) -> ("Gary" "is" "blue" "+"))
If something is smart and round then it is big.
((("something" "is" "smart" "+") ("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
Anne is big.
True
1
proof
[(triple1)]
("Anne" "is" "big" "+")
triple1
Harry is not smart.
False
1
inv-proof
[(triple10)]
("Harry" "is" "smart" "-")
triple10
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "big" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Anne is big.[(triple1)] Anne is smart.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4)] Fiona is round.[(triple5)] Gary is big.[(triple6)] Gary is cold.[(triple7)] Gary is smart.[(triple8)] Gary is white.[(triple9)] Harry is smart.[(triple10)] @1: Anne is blue.[(((triple1) -> rule3) OR ((triple3) -> rule2))] Fiona is smart.[(((triple5) -> rule4))] Gary is blue.[(((triple6) -> rule3) OR ((triple6) -> rule5) OR ((triple9) -> rule2))] @2: Fiona is big.[(((((triple5) -> rule4) triple5) -> rule6))] @3: Fiona is blue.[(((((((triple5) -> rule4) triple5) -> rule6)) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Fiona is round.
("Fiona" "is" "round" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is smart.
("Gary" "is" "smart" "+")
triple8
Gary is white.
("Gary" "is" "white" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
Anne is blue.
("Anne" "is" "blue" "+")
((triple1) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple3) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple5) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple6) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((triple6) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((triple9) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((((triple5) -> (rule4 % int2)) triple5) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
((((((triple5) -> (rule4 % int3)) triple5) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3