Bob is cold. Bob is furry. Bob is rough. Erin is cold. Erin is quiet. Erin is rough. Erin is white. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is rough. Fiona is young. Gary is cold. Gary is white. Gary is young. All cold things are furry.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
All cold things are furry.
((("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
Fiona is furry.
True
1
proof
[(triple10 OR ((triple9) -> rule1))]
("Fiona" "is" "furry" "+")
triple10
((triple9) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Erin is not cold.
False
1
inv-proof
[(triple4)]
("Erin" "is" "cold" "-")
triple4
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple1) -> rule1))] Bob is rough.[(triple3)] Erin is cold.[(triple4)] Erin is quiet.[(triple5)] Erin is rough.[(triple6)] Erin is white.[(triple7)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9)] Fiona is furry.[(triple10 OR ((triple9) -> rule1))] Fiona is rough.[(triple11)] Fiona is young.[(triple12)] Gary is cold.[(triple13)] Gary is white.[(triple14)] Gary is young.[(triple15)] @1: Erin is furry.[(((triple4) -> rule1))] Gary is furry.[(((triple13) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
((triple1) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple4
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
((triple9) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
triple13
Gary is white.
("Gary" "is" "white" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple15
Erin is furry.
("Erin" "is" "furry" "+")
((triple4) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple13) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1