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