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