Bob is big. Bob is kind. Bob is young. Charlie is big. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is young. Dave is big. Erin is blue. Erin is furry. Erin is young. All young things are cold.
Bob is big.
("Bob" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is young.
("Erin" "is" "young" "+")
All young things are cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
Charlie is furry.
True
1
proof
[(triple6)]
("Charlie" "is" "furry" "+")
triple6
Bob is not big.
False
1
inv-proof
[(triple1)]
("Bob" "is" "big" "-")
triple1
Erin is cold.
True
2
proof
[(((triple12) -> rule1))]
("Erin" "is" "cold" "+")
((triple12) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Bob is not cold.
False
2
inv-proof
[(((triple3) -> rule1))]
("Bob" "is" "cold" "-")
((triple3) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is young.[(triple3)] Charlie is big.[(triple4)] Charlie is blue.[(triple5)] Charlie is furry.[(triple6)] Charlie is kind.[(triple7)] Charlie is young.[(triple8)] Dave is big.[(triple9)] Erin is blue.[(triple10)] Erin is furry.[(triple11)] Erin is young.[(triple12)] @1: Bob is cold.[(((triple3) -> rule1))] Charlie is cold.[(((triple8) -> rule1))] Erin is cold.[(((triple12) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is furry.
("Charlie" "is" "furry" "+")
triple6
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
Charlie is young.
("Charlie" "is" "young" "+")
triple8
Dave is big.
("Dave" "is" "big" "+")
triple9
Erin is blue.
("Erin" "is" "blue" "+")
triple10
Erin is furry.
("Erin" "is" "furry" "+")
triple11
Erin is young.
("Erin" "is" "young" "+")
triple12
Bob is cold.
("Bob" "is" "cold" "+")
((triple3) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple8) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple12) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1