Charlie is red. Charlie is not young. Erin is big. Erin is red. Fiona is young. Harry is furry. Harry is not nice. Harry is not red. Harry is rough. Harry is young. Red people are furry. Red, rough people are big. Young people are not nice. All furry people are not nice. Nice people are red. If Charlie is furry then Charlie is rough.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is not young.
("Charlie" "is" "young" "-")
Erin is big.
("Erin" "is" "big" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not nice.
("Harry" "is" "nice" "-")
Harry is not red.
("Harry" "is" "red" "-")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
Red people are furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
Red, rough people are big.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Young people are not nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "-"))
All furry people are not nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "-"))
Nice people are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If Charlie is furry then Charlie is rough.
((("Charlie" "is" "furry" "+")) -> ("Charlie" "is" "rough" "+"))
Harry is rough.
True
1
proof
[(triple9)]
("Harry" "is" "rough" "+")
triple9
Harry is not rough.
False
1
inv-proof
[(triple9)]
("Harry" "is" "rough" "-")
triple9
Erin is furry.
True
2
proof
[(((triple4) -> rule1))]
("Erin" "is" "furry" "+")
((triple4) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Fiona is nice.
False
2
inv-proof
[(((triple5) -> rule3))]
("Fiona" "is" "nice" "+")
((triple5) -> (rule3 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Erin is not nice.
True
3
proof
[(((((triple4) -> rule1)) -> rule4))]
("Erin" "is" "nice" "-")
((((triple4) -> (rule1 % int2))) -> (rule4 % int1))
Erin is not nice.
("Erin" "is" "nice" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Charlie is not rough.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule6))]
("Charlie" "is" "rough" "-")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is big.
True
5
proof
[(((triple1 ((((triple1) -> rule1)) -> rule6)) -> rule2))]
("Charlie" "is" "big" "+")
((triple1 ((((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is not big.
False
5
inv-proof
[(((triple1 ((((triple1) -> rule1)) -> rule6)) -> rule2))]
("Charlie" "is" "big" "-")
((triple1 ((((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "big" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "big" "+")
Fiona is not furry.
Unknown
inv-rconc
[@2: Fiona is furry.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is red.
Unknown
rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "red" "+")
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
Charlie is not white.
Unknown
inv-random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Charlie is not young.[(triple2)] Charlie is red.[(triple1)] Erin is big.[(triple3)] Erin is red.[(triple4)] Fiona is young.[(triple5)] Harry is furry.[(triple6)] Harry is not nice.[(triple7 OR ((triple10) -> rule3) OR ((triple6) -> rule4))] Harry is not red.[(triple8)] Harry is rough.[(triple9)] Harry is young.[(triple10)] @1: Charlie is furry.[(((triple1) -> rule1))] Erin is furry.[(((triple4) -> rule1))] Fiona is not nice.[(((triple5) -> rule3))] @2: Charlie is not nice.[(((((triple1) -> rule1)) -> rule4))] Charlie is rough.[(((((triple1) -> rule1)) -> rule6))] Erin is not nice.[(((((triple4) -> rule1)) -> rule4))] @3: Charlie is big.[(((triple1 ((((triple1) -> rule1)) -> rule6)) -> rule2))]
Charlie is not young.
("Charlie" "is" "young" "-")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple4
Fiona is young.
("Fiona" "is" "young" "+")
triple5
Harry is furry.
("Harry" "is" "furry" "+")
triple6
Harry is not nice.
("Harry" "is" "nice" "-")
triple7
((triple10) -> (rule3 % int1))
Harry is not nice.
("Harry" "is" "nice" "-")
int1
((triple6) -> (rule4 % int1))
Harry is not nice.
("Harry" "is" "nice" "-")
int1
Harry is not red.
("Harry" "is" "red" "-")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple4) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Fiona is not nice.
("Fiona" "is" "nice" "-")
((triple5) -> (rule3 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Charlie is not nice.
("Charlie" "is" "nice" "-")
((((triple1) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Erin is not nice.
("Erin" "is" "nice" "-")
((((triple4) -> (rule1 % int2))) -> (rule4 % int1))
Erin is not nice.
("Erin" "is" "nice" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((triple1 ((((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3