Anne is furry. Anne is red. Anne is smart. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Fiona is red. Fiona is rough. Blue, rough people are furry. If Fiona is red and Fiona is furry then Fiona is blue.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Blue, rough people are furry.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
If Fiona is red and Fiona is furry then Fiona is blue.
((("Fiona" "is" "red" "+") ("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "blue" "+"))
Charlie is round.
True
1
proof
[(triple9)]
("Charlie" "is" "round" "+")
triple9
Charlie is not blue.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "blue" "-")
triple4
Fiona is not furry.
Unknown
inv-rconc
[@2: Fiona is furry.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Anne is furry.[(triple1)] Anne is red.[(triple2)] Anne is smart.[(triple3)] Charlie is blue.[(triple4)] Charlie is cold.[(triple5)] Charlie is furry.[(triple6 OR ((triple4 triple8) -> rule1))] Charlie is red.[(triple7)] Charlie is rough.[(triple8)] Charlie is round.[(triple9)] Charlie is smart.[(triple10)] Fiona is red.[(triple11)] Fiona is rough.[(triple12)]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is furry.
("Charlie" "is" "furry" "+")
triple6
((triple4 triple8) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple8
Charlie is round.
("Charlie" "is" "round" "+")
triple9
Charlie is smart.
("Charlie" "is" "smart" "+")
triple10
Fiona is red.
("Fiona" "is" "red" "+")
triple11
Fiona is rough.
("Fiona" "is" "rough" "+")
triple12