Bob is blue. Bob is furry. Bob is green. Bob is white. Erin is green. Erin is kind. Fiona is blue. Fiona is furry. Fiona is white. Gary is kind. Kind, white things are green. Furry things are green. If Erin is blue and Erin is not round then Erin is not furry. If Gary is young then Gary is white. If something is white and not round then it is young. If Bob is green then Bob is blue. If Gary is furry and Gary is round then Gary is kind. All round, green things are blue.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Kind, white things are green.
((("something" "is" "kind" "+") ("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
Furry things are green.
((("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
If Erin is blue and Erin is not round then Erin is not furry.
((("Erin" "is" "blue" "+") ("Erin" "is" "round" "~")) -> ("Erin" "is" "furry" "-"))
If Gary is young then Gary is white.
((("Gary" "is" "young" "+")) -> ("Gary" "is" "white" "+"))
If something is white and not round then it is young.
((("something" "is" "white" "+") ("something" "is" "round" "~")) -> ("something" "is" "young" "+"))
If Bob is green then Bob is blue.
((("Bob" "is" "green" "+")) -> ("Bob" "is" "blue" "+"))
If Gary is furry and Gary is round then Gary is kind.
((("Gary" "is" "furry" "+") ("Gary" "is" "round" "+")) -> ("Gary" "is" "kind" "+"))
All round, green things are blue.
((("something" "is" "round" "+") ("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
Fiona is blue.
True
1
proof
[(triple7)]
("Fiona" "is" "blue" "+")
triple7
Fiona is not blue.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "blue" "-")
triple7
Fiona is green.
True
2
proof
[(((triple8) -> rule2))]
("Fiona" "is" "green" "+")
((triple8) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple8) -> rule2))]
("Fiona" "is" "green" "-")
((triple8) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "young" "-")
Erin is young.
Unknown
rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "young" "+")
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Bob is blue.[(triple1 OR ((triple3) -> rule6) OR ((((triple2) -> rule2)) -> rule6))] Bob is furry.[(triple2)] Bob is green.[(triple3 OR ((triple2) -> rule2))] Bob is white.[(triple4)] Erin is green.[(triple5)] Erin is kind.[(triple6)] Fiona is blue.[(triple7)] Fiona is furry.[(triple8)] Fiona is white.[(triple9)] Gary is kind.[(triple10)] @1: Fiona is green.[(((triple8) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
((triple3) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
((triple2) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
triple4
Erin is green.
("Erin" "is" "green" "+")
triple5
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Fiona is white.
("Fiona" "is" "white" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Fiona is green.
("Fiona" "is" "green" "+")
((triple8) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1