Anne is blue. Anne is cold. Anne is furry. Anne is rough. Anne is smart. Bob is cold. Bob is furry. Bob is red. Bob is rough. Bob is round. Bob is smart. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is round. Fiona is smart. Red things are rough. Rough, round things are red.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Red things are rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
Rough, round things are red.
((("something" "is" "rough" "+") ("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
Bob is cold.
True
1
proof
[(triple6)]
("Bob" "is" "cold" "+")
triple6
Bob is not rough.
False
1
inv-proof
[(triple9 OR ((triple8) -> rule1))]
("Bob" "is" "rough" "-")
triple9
((triple8) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Fiona is not rough.
Unknown
inv-rconc
[@2: Fiona is rough.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Fiona" "is" "rough" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Bob is cold.[(triple6)] Bob is furry.[(triple7)] Bob is red.[(triple8 OR ((triple9 triple10) -> rule2))] Bob is rough.[(triple9 OR ((triple8) -> rule1))] Bob is round.[(triple10)] Bob is smart.[(triple11)] Fiona is blue.[(triple12)] Fiona is cold.[(triple13)] Fiona is furry.[(triple14)] Fiona is round.[(triple15)] Fiona is smart.[(triple16)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple6
Bob is furry.
("Bob" "is" "furry" "+")
triple7
Bob is red.
("Bob" "is" "red" "+")
triple8
((triple9 triple10) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
triple9
((triple8) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
triple10
Bob is smart.
("Bob" "is" "smart" "+")
triple11
Fiona is blue.
("Fiona" "is" "blue" "+")
triple12
Fiona is cold.
("Fiona" "is" "cold" "+")
triple13
Fiona is furry.
("Fiona" "is" "furry" "+")
triple14
Fiona is round.
("Fiona" "is" "round" "+")
triple15
Fiona is smart.
("Fiona" "is" "smart" "+")
triple16