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