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