Erin is red. Fiona is blue. Fiona is nice. Gary is big. Gary is smart. Harry is nice. Harry is smart. All young things are blue. If Harry is nice and Harry is smart then Harry is big. If Fiona is big then Fiona is smart. If Gary is red then Gary is nice. If something is smart then it is young. If Fiona is red then Fiona is round.
Erin is red.
("Erin" "is" "red" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All young things are blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
If Harry is nice and Harry is smart then Harry is big.
((("Harry" "is" "nice" "+") ("Harry" "is" "smart" "+")) -> ("Harry" "is" "big" "+"))
If Fiona is big then Fiona is smart.
((("Fiona" "is" "big" "+")) -> ("Fiona" "is" "smart" "+"))
If Gary is red then Gary is nice.
((("Gary" "is" "red" "+")) -> ("Gary" "is" "nice" "+"))
If something is smart then it is young.
((("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
If Fiona is red then Fiona is round.
((("Fiona" "is" "red" "+")) -> ("Fiona" "is" "round" "+"))
Gary is smart.
True
1
proof
[(triple5)]
("Gary" "is" "smart" "+")
triple5
Erin is not red.
False
1
inv-proof
[(triple1)]
("Erin" "is" "red" "-")
triple1
Erin is not blue.
Unknown
inv-rconc
[@2: Erin is blue.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Erin" "is" "blue" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Erin is red.[(triple1)] Fiona is blue.[(triple2)] Fiona is nice.[(triple3)] Gary is big.[(triple4)] Gary is smart.[(triple5)] Harry is nice.[(triple6)] Harry is smart.[(triple7)] @1: Gary is young.[(((triple5) -> rule5))] Harry is big.[(((triple6 triple7) -> rule2))] Harry is young.[(((triple7) -> rule5))] @2: Gary is blue.[(((((triple5) -> rule5)) -> rule1))] Harry is blue.[(((((triple7) -> rule5)) -> rule1))]
Erin is red.
("Erin" "is" "red" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple4
Gary is smart.
("Gary" "is" "smart" "+")
triple5
Harry is nice.
("Harry" "is" "nice" "+")
triple6
Harry is smart.
("Harry" "is" "smart" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
((triple5) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple6 triple7) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple7) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((((triple5) -> (rule5 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((((triple7) -> (rule5 % int2))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2