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