Erin is cold. Erin is not white. Fiona is round. Fiona is white. Fiona is young. Gary is blue. Gary is cold. Gary is furry. Harry is cold. Harry is white. Cold people are big. Big, white people are round.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is not white.
("Erin" "is" "white" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is white.
("Harry" "is" "white" "+")
Cold people are big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Big, white people are round.
((("someone" "is" "big" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
Fiona is round.
True
1
proof
[(triple3)]
("Fiona" "is" "round" "+")
triple3
Fiona is not white.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "white" "-")
triple4
Harry is big.
True
2
proof
[(((triple9) -> rule1))]
("Harry" "is" "big" "+")
((triple9) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Erin is not big.
False
2
inv-proof
[(((triple1) -> rule1))]
("Erin" "is" "big" "-")
((triple1) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Harry is round.
True
4
proof
[(((((triple9) -> rule1) triple10) -> rule2))]
("Harry" "is" "round" "+")
((((triple9) -> (rule1 % int2)) triple10) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is not round.
False
4
inv-proof
[(((((triple9) -> rule1) triple10) -> rule2))]
("Harry" "is" "round" "-")
((((triple9) -> (rule1 % int2)) triple10) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "big" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "round" "+")
Erin is not round.
Unknown
inv-rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "round" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Erin is cold.[(triple1)] Erin is not white.[(triple2)] Fiona is round.[(triple3)] Fiona is white.[(triple4)] Fiona is young.[(triple5)] Gary is blue.[(triple6)] Gary is cold.[(triple7)] Gary is furry.[(triple8)] Harry is cold.[(triple9)] Harry is white.[(triple10)] @1: Erin is big.[(((triple1) -> rule1))] Gary is big.[(((triple7) -> rule1))] Harry is big.[(((triple9) -> rule1))] @2: Harry is round.[(((((triple9) -> rule1) triple10) -> rule2))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is not white.
("Erin" "is" "white" "-")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Fiona is white.
("Fiona" "is" "white" "+")
triple4
Fiona is young.
("Fiona" "is" "young" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
Erin is big.
("Erin" "is" "big" "+")
((triple1) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple7) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple9) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((((triple9) -> (rule1 % int2)) triple10) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2