Anne is cold. Anne is nice. Anne is smart. Dave is blue. Dave is cold. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Dave is smart. Fiona is blue. Fiona is nice. Fiona is not quiet. Fiona is red. Fiona is not rough. Fiona is smart. All rough, red people are cold.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
All rough, red people are cold.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
Dave is smart.
True
1
proof
[(triple10)]
("Dave" "is" "smart" "+")
triple10
Dave is not quiet.
False
1
inv-proof
[(triple7)]
("Dave" "is" "quiet" "-")
triple7
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "cold" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is smart.[(triple3)] Dave is blue.[(triple4)] Dave is cold.[(triple5 OR ((triple9 triple8) -> rule1))] Dave is nice.[(triple6)] Dave is quiet.[(triple7)] Dave is red.[(triple8)] Dave is rough.[(triple9)] Dave is smart.[(triple10)] Fiona is blue.[(triple11)] Fiona is nice.[(triple12)] Fiona is not quiet.[(triple13)] Fiona is not rough.[(triple15)] Fiona is red.[(triple14)] Fiona is smart.[(triple16)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
((triple9 triple8) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is quiet.
("Dave" "is" "quiet" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple9
Dave is smart.
("Dave" "is" "smart" "+")
triple10
Fiona is blue.
("Fiona" "is" "blue" "+")
triple11
Fiona is nice.
("Fiona" "is" "nice" "+")
triple12
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple13
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple15
Fiona is red.
("Fiona" "is" "red" "+")
triple14
Fiona is smart.
("Fiona" "is" "smart" "+")
triple16