Anne is big. Charlie is blue. Erin is young. Harry is rough. If someone is young and rough then they are red. Furry people are blue. If someone is young then they are blue.
Anne is big.
("Anne" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is young and rough then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Furry people are blue.
((("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
If someone is young then they are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Charlie is blue.
True
1
proof
[(triple2)]
("Charlie" "is" "blue" "+")
triple2
Charlie is not blue.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "blue" "-")
triple2
Erin is blue.
True
2
proof
[(((triple3) -> rule3))]
("Erin" "is" "blue" "+")
((triple3) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is not blue.
False
2
inv-proof
[(((triple3) -> rule3))]
("Erin" "is" "blue" "-")
((triple3) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is not red.
Unknown
inv-rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "red" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "red" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Anne is big.[(triple1)] Charlie is blue.[(triple2)] Erin is young.[(triple3)] Harry is rough.[(triple4)] @1: Erin is blue.[(((triple3) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Erin is young.
("Erin" "is" "young" "+")
triple3
Harry is rough.
("Harry" "is" "rough" "+")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
((triple3) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1