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