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