Charlie is big. Charlie is cold. Charlie is round. Charlie is smart. Charlie is white. Dave is big. Dave is nice. Dave is smart. Erin is big. Erin is cold. Erin is kind. Erin is nice. Erin is white. Gary is big. Gary is nice. Gary is white. If someone is round then they are kind. All kind people are nice.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is white.
("Gary" "is" "white" "+")
If someone is round then they are kind.
((("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
All kind people are nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
Erin is kind.
True
1
proof
[(triple11)]
("Erin" "is" "kind" "+")
triple11
Erin is not cold.
False
1
inv-proof
[(triple10)]
("Erin" "is" "cold" "-")
triple10
Charlie is kind.
True
2
proof
[(((triple3) -> rule1))]
("Charlie" "is" "kind" "+")
((triple3) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not kind.
False
2
inv-proof
[(((triple3) -> rule1))]
("Charlie" "is" "kind" "-")
((triple3) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
True
3
proof
[(((((triple3) -> rule1)) -> rule2))]
("Charlie" "is" "nice" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is not nice.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule2))]
("Charlie" "is" "nice" "-")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "kind" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "+")
Erin is not smart.
Unknown
inv-random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is round.[(triple3)] Charlie is smart.[(triple4)] Charlie is white.[(triple5)] Dave is big.[(triple6)] Dave is nice.[(triple7)] Dave is smart.[(triple8)] Erin is big.[(triple9)] Erin is cold.[(triple10)] Erin is kind.[(triple11)] Erin is nice.[(triple12 OR ((triple11) -> rule2))] Erin is white.[(triple13)] Gary is big.[(triple14)] Gary is nice.[(triple15)] Gary is white.[(triple16)] @1: Charlie is kind.[(((triple3) -> rule1))] @2: Charlie is nice.[(((((triple3) -> rule1)) -> rule2))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Charlie is white.
("Charlie" "is" "white" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Dave is smart.
("Dave" "is" "smart" "+")
triple8
Erin is big.
("Erin" "is" "big" "+")
triple9
Erin is cold.
("Erin" "is" "cold" "+")
triple10
Erin is kind.
("Erin" "is" "kind" "+")
triple11
Erin is nice.
("Erin" "is" "nice" "+")
triple12
((triple11) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple13
Gary is big.
("Gary" "is" "big" "+")
triple14
Gary is nice.
("Gary" "is" "nice" "+")
triple15
Gary is white.
("Gary" "is" "white" "+")
triple16
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple3) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2