Erin is nice. Fiona is big. Fiona is furry. Fiona is kind. Fiona is nice. Gary is big. Gary is cold. Gary is furry. Gary is kind. Gary is nice. Gary is white. Gary is young. All nice, big things are cold. If something is kind and cold then it is young.
Erin is nice.
("Erin" "is" "nice" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
All nice, big things are cold.
((("something" "is" "nice" "+") ("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
If something is kind and cold then it is young.
((("something" "is" "kind" "+") ("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
Fiona is big.
True
1
proof
[(triple2)]
("Fiona" "is" "big" "+")
triple2
Fiona is not nice.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "nice" "-")
triple5
Fiona is cold.
True
3
proof
[(((triple5 triple2) -> rule1))]
("Fiona" "is" "cold" "+")
((triple5 triple2) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not cold.
False
3
inv-proof
[(((triple5 triple2) -> rule1))]
("Fiona" "is" "cold" "-")
((triple5 triple2) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
True
5
proof
[(((triple4 ((triple5 triple2) -> rule1)) -> rule2))]
("Fiona" "is" "young" "+")
((triple4 ((triple5 triple2) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is not young.
False
5
inv-proof
[(((triple4 ((triple5 triple2) -> rule1)) -> rule2))]
("Fiona" "is" "young" "-")
((triple4 ((triple5 triple2) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Erin is not cold.
Unknown
inv-rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "cold" "-")
Erin is young.
Unknown
rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "young" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Erin is nice.[(triple1)] Fiona is big.[(triple2)] Fiona is furry.[(triple3)] Fiona is kind.[(triple4)] Fiona is nice.[(triple5)] Gary is big.[(triple6)] Gary is cold.[(triple7 OR ((triple10 triple6) -> rule1))] Gary is furry.[(triple8)] Gary is kind.[(triple9)] Gary is nice.[(triple10)] Gary is white.[(triple11)] Gary is young.[(triple12 OR ((triple9 triple7) -> rule2) OR ((triple9 ((triple10 triple6) -> rule1)) -> rule2))] @1: Fiona is cold.[(((triple5 triple2) -> rule1))] @2: Fiona is young.[(((triple4 ((triple5 triple2) -> rule1)) -> rule2))]
Erin is nice.
("Erin" "is" "nice" "+")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
((triple10 triple6) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is white.
("Gary" "is" "white" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
((triple9 triple7) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple9 ((triple10 triple6) -> (rule1 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple5 triple2) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple4 ((triple5 triple2) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2