Charlie is big. Charlie is green. Charlie is kind. Charlie is round. Charlie is white. Charlie is young. Dave is big. Dave is not green. Dave is kind. Erin is big. Erin is cold. Erin is not green. Erin is kind. Erin is not round. Erin is white. Erin is young. If someone is round and not green then they are white. If someone is cold then they are big. If someone is round and not white then they are young.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is not green.
("Dave" "is" "green" "-")
Dave is kind.
("Dave" "is" "kind" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is not green.
("Erin" "is" "green" "-")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is not round.
("Erin" "is" "round" "-")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
If someone is round and not green then they are white.
((("someone" "is" "round" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "white" "+"))
If someone is cold then they are big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is round and not white then they are young.
((("someone" "is" "round" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "young" "+"))
Erin is white.
True
1
proof
[(triple15)]
("Erin" "is" "white" "+")
triple15
Dave is green.
False
1
inv-proof
[(triple8)]
("Dave" "is" "green" "+")
triple8
Dave is not white.
Unknown
inv-rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "white" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is round.[(triple4)] Charlie is white.[(triple5)] Charlie is young.[(triple6)] Dave is big.[(triple7)] Dave is kind.[(triple9)] Dave is not green.[(triple8)] Erin is big.[(triple10 OR ((triple11) -> rule2))] Erin is cold.[(triple11)] Erin is kind.[(triple13)] Erin is not green.[(triple12)] Erin is not round.[(triple14)] Erin is white.[(triple15)] Erin is young.[(triple16)]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Charlie is white.
("Charlie" "is" "white" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple6
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple9
Dave is not green.
("Dave" "is" "green" "-")
triple8
Erin is big.
("Erin" "is" "big" "+")
triple10
((triple11) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
triple11
Erin is kind.
("Erin" "is" "kind" "+")
triple13
Erin is not green.
("Erin" "is" "green" "-")
triple12
Erin is not round.
("Erin" "is" "round" "-")
triple14
Erin is white.
("Erin" "is" "white" "+")
triple15
Erin is young.
("Erin" "is" "young" "+")
triple16