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