Anne is big. Anne is blue. Anne is kind. Anne is quiet. Dave is cold. Dave is young. Erin is cold. Erin is quiet. Erin is white. Fiona is young. Blue things are kind. Young, cold things are big. All white, blue things are big.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Blue things are kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
Young, cold things are big.
((("something" "is" "young" "+") ("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
All white, blue things are big.
((("something" "is" "white" "+") ("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
Anne is quiet.
True
1
proof
[(triple4)]
("Anne" "is" "quiet" "+")
triple4
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Dave is big.
True
3
proof
[(((triple6 triple5) -> rule2))]
("Dave" "is" "big" "+")
((triple6 triple5) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is not big.
False
3
inv-proof
[(((triple6 triple5) -> rule2))]
("Dave" "is" "big" "-")
((triple6 triple5) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "kind" "-")
Erin is kind.
Unknown
rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "kind" "+")
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is kind.[(triple3 OR ((triple2) -> rule1))] Anne is quiet.[(triple4)] Dave is cold.[(triple5)] Dave is young.[(triple6)] Erin is cold.[(triple7)] Erin is quiet.[(triple8)] Erin is white.[(triple9)] Fiona is young.[(triple10)] @1: Dave is big.[(((triple6 triple5) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
((triple2) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple6
Erin is cold.
("Erin" "is" "cold" "+")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
Erin is white.
("Erin" "is" "white" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Dave is big.
("Dave" "is" "big" "+")
((triple6 triple5) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1