Charlie is young. Harry is furry. Harry is kind. If Charlie is young then Charlie is furry. Furry, young people are red. All red, furry people are big.
Charlie is young.
("Charlie" "is" "young" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If Charlie is young then Charlie is furry.
((("Charlie" "is" "young" "+")) -> ("Charlie" "is" "furry" "+"))
Furry, young people are red.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
All red, furry people are big.
((("someone" "is" "red" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
Charlie is young.
True
1
proof
[(triple1)]
("Charlie" "is" "young" "+")
triple1
Charlie is not young.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "young" "-")
triple1
Charlie is furry.
True
2
proof
[(((triple1) -> rule1))]
("Charlie" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is not furry.
False
2
inv-proof
[(((triple1) -> rule1))]
("Charlie" "is" "furry" "-")
((triple1) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is red.
True
4
proof
[(((((triple1) -> rule1) triple1) -> rule2))]
("Charlie" "is" "red" "+")
((((triple1) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is not red.
False
4
inv-proof
[(((((triple1) -> rule1) triple1) -> rule2))]
("Charlie" "is" "red" "-")
((((triple1) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is big.
True
7
proof
[(((((((triple1) -> rule1) triple1) -> rule2) ((triple1) -> rule1)) -> rule3))]
("Charlie" "is" "big" "+")
((((((triple1) -> (rule1 % int3)) triple1) -> (rule2 % int2)) ((triple1) -> (rule1 % int3))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is not big.
False
7
inv-proof
[(((((((triple1) -> rule1) triple1) -> rule2) ((triple1) -> rule1)) -> rule3))]
("Charlie" "is" "big" "-")
((((((triple1) -> (rule1 % int3)) triple1) -> (rule2 % int2)) ((triple1) -> (rule1 % int3))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Harry is not big.
Unknown
inv-rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "red" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Charlie is young.[(triple1)] Harry is furry.[(triple2)] Harry is kind.[(triple3)] @1: Charlie is furry.[(((triple1) -> rule1))] @2: Charlie is red.[(((((triple1) -> rule1) triple1) -> rule2))] @3: Charlie is big.[(((((((triple1) -> rule1) triple1) -> rule2) ((triple1) -> rule1)) -> rule3))]
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Harry is furry.
("Harry" "is" "furry" "+")
triple2
Harry is kind.
("Harry" "is" "kind" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((((triple1) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((((((triple1) -> (rule1 % int3)) triple1) -> (rule2 % int2)) ((triple1) -> (rule1 % int3))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3