Anne is red. Anne is rough. Anne is round. Charlie is furry. Charlie is red. Fiona is furry. Harry is young. All round, young people are red. If someone is rough and not smart then they are red. Round, smart people are cold. Red, rough people are cold. If Charlie is rough then Charlie is furry. If Harry is cold then Harry is not round.
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Harry is young.
("Harry" "is" "young" "+")
All round, young people are red.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and not smart then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "red" "+"))
Round, smart people are cold.
((("someone" "is" "round" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
Red, rough people are cold.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If Charlie is rough then Charlie is furry.
((("Charlie" "is" "rough" "+")) -> ("Charlie" "is" "furry" "+"))
If Harry is cold then Harry is not round.
((("Harry" "is" "cold" "+")) -> ("Harry" "is" "round" "-"))
Fiona is furry.
True
1
proof
[(triple6)]
("Fiona" "is" "furry" "+")
triple6
Charlie is not furry.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "furry" "-")
triple4
Anne is cold.
True
3
proof
[(((triple1 triple2) -> rule4))]
("Anne" "is" "cold" "+")
((triple1 triple2) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is not cold.
False
3
inv-proof
[(((triple1 triple2) -> rule4))]
("Anne" "is" "cold" "-")
((triple1 triple2) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "cold" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "+")
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Anne is round.[(triple3)] Charlie is furry.[(triple4)] Charlie is red.[(triple5)] Fiona is furry.[(triple6)] Harry is young.[(triple7)] @1: Anne is cold.[(((triple1 triple2) -> rule4))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7
Anne is cold.
("Anne" "is" "cold" "+")
((triple1 triple2) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1