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