Anne is big. Anne is cold. Anne is nice. Anne is white. Dave is cold. Dave is kind. Dave is nice. Dave is rough. Dave is young. Erin is nice. All big, white people are rough. If someone is cold and nice then they are big. If someone is nice and rough then they are white.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is white.
("Anne" "is" "white" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is nice.
("Erin" "is" "nice" "+")
All big, white people are rough.
((("someone" "is" "big" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and nice then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and rough then they are white.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
Anne is nice.
True
1
proof
[(triple3)]
("Anne" "is" "nice" "+")
triple3
Dave is not nice.
False
1
inv-proof
[(triple7)]
("Dave" "is" "nice" "-")
triple7
Dave is white.
True
3
proof
[(((triple7 triple8) -> rule3))]
("Dave" "is" "white" "+")
((triple7 triple8) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Anne is not rough.
False
3
inv-proof
[(((triple1 triple4) -> rule1) OR ((((triple2 triple3) -> rule2) triple4) -> rule1))]
("Anne" "is" "rough" "-")
((triple1 triple4) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple2 triple3) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Erin is not rough.
Unknown
inv-rconc
[@2: Erin is rough.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Erin" "is" "rough" "-")
Erin is white.
Unknown
rconc
[@2: Erin is white.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Erin" "is" "white" "+")
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Anne is big.[(triple1 OR ((triple2 triple3) -> rule2))] Anne is cold.[(triple2)] Anne is nice.[(triple3)] Anne is white.[(triple4)] Dave is cold.[(triple5)] Dave is kind.[(triple6)] Dave is nice.[(triple7)] Dave is rough.[(triple8)] Dave is young.[(triple9)] Erin is nice.[(triple10)] @1: Anne is rough.[(((triple1 triple4) -> rule1) OR ((((triple2 triple3) -> rule2) triple4) -> rule1))] Dave is big.[(((triple5 triple7) -> rule2))] Dave is white.[(((triple7 triple8) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple2 triple3) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple9
Erin is nice.
("Erin" "is" "nice" "+")
triple10
Anne is rough.
("Anne" "is" "rough" "+")
((triple1 triple4) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple2 triple3) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
((triple5 triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
((triple7 triple8) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1