Bob is cold. Bob is smart. Bob is young. Charlie is cold. Charlie is furry. Charlie is round. Charlie is young. Erin is cold. Erin is nice. Erin is round. Gary is furry. Gary is nice. If someone is cold then they are furry.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is round.
("Erin" "is" "round" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If someone is cold then they are furry.
((("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
Bob is cold.
True
1
proof
[(triple1)]
("Bob" "is" "cold" "+")
triple1
Charlie is not cold.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "cold" "-")
triple4
Erin is furry.
True
2
proof
[(((triple8) -> rule1))]
("Erin" "is" "furry" "+")
((triple8) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Bob is not furry.
False
2
inv-proof
[(((triple1) -> rule1))]
("Bob" "is" "furry" "-")
((triple1) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Bob is cold.[(triple1)] Bob is smart.[(triple2)] Bob is young.[(triple3)] Charlie is cold.[(triple4)] Charlie is furry.[(triple5 OR ((triple4) -> rule1))] Charlie is round.[(triple6)] Charlie is young.[(triple7)] Erin is cold.[(triple8)] Erin is nice.[(triple9)] Erin is round.[(triple10)] Gary is furry.[(triple11)] Gary is nice.[(triple12)] @1: Bob is furry.[(((triple1) -> rule1))] Erin is furry.[(((triple8) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple5
((triple4) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Erin is cold.
("Erin" "is" "cold" "+")
triple8
Erin is nice.
("Erin" "is" "nice" "+")
triple9
Erin is round.
("Erin" "is" "round" "+")
triple10
Gary is furry.
("Gary" "is" "furry" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple12
Bob is furry.
("Bob" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple8) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1