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