Bob is green. Bob is rough. Bob is round. Bob is white. Erin is furry. Erin is green. Erin is red. Fiona is furry. Fiona is green. Fiona is round. Harry is round. Harry is white. If something is red and green then it is round. All red, round things are furry.
Bob is green.
("Bob" "is" "green" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
If something is red and green then it is round.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
All red, round things are furry.
((("something" "is" "red" "+") ("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
Bob is green.
True
1
proof
[(triple1)]
("Bob" "is" "green" "+")
triple1
Bob is not green.
False
1
inv-proof
[(triple1)]
("Bob" "is" "green" "-")
triple1
Erin is round.
True
3
proof
[(((triple7 triple6) -> rule1))]
("Erin" "is" "round" "+")
((triple7 triple6) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not round.
False
3
inv-proof
[(((triple7 triple6) -> rule1))]
("Erin" "is" "round" "-")
((triple7 triple6) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Bob is not furry.
Unknown
inv-rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "furry" "-")
Harry is furry.
Unknown
rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "furry" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is green.[(triple1)] Bob is rough.[(triple2)] Bob is round.[(triple3)] Bob is white.[(triple4)] Erin is furry.[(triple5 OR ((triple7 ((triple7 triple6) -> rule1)) -> rule2))] Erin is green.[(triple6)] Erin is red.[(triple7)] Fiona is furry.[(triple8)] Fiona is green.[(triple9)] Fiona is round.[(triple10)] Harry is round.[(triple11)] Harry is white.[(triple12)] @1: Erin is round.[(((triple7 triple6) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
triple5
((triple7 ((triple7 triple6) -> (rule1 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
triple6
Erin is red.
("Erin" "is" "red" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Fiona is green.
("Fiona" "is" "green" "+")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple11
Harry is white.
("Harry" "is" "white" "+")
triple12
Erin is round.
("Erin" "is" "round" "+")
((triple7 triple6) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1