Charlie is red. Fiona is round. Harry is furry. If Harry is not blue then Harry is round. All green people are not young. If someone is round then they are red. All furry people are red. If Harry is round and Harry is not young then Harry is red. All red people are furry.
Charlie is red.
("Charlie" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is furry.
("Harry" "is" "furry" "+")
If Harry is not blue then Harry is round.
((("Harry" "is" "blue" "~")) -> ("Harry" "is" "round" "+"))
All green people are not young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "-"))
If someone is round then they are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
All furry people are red.
((("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
If Harry is round and Harry is not young then Harry is red.
((("Harry" "is" "round" "+") ("Harry" "is" "young" "~")) -> ("Harry" "is" "red" "+"))
All red people are furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
Fiona is round.
True
1
proof
[(triple2)]
("Fiona" "is" "round" "+")
triple2
Fiona is not round.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "round" "-")
triple2
Fiona is red.
True
2
proof
[(((triple2) -> rule3))]
("Fiona" "is" "red" "+")
((triple2) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not red.
False
2
inv-proof
[(((triple2) -> rule3))]
("Fiona" "is" "red" "-")
((triple2) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
True
3
proof
[(((((triple2) -> rule3)) -> rule6))]
("Fiona" "is" "furry" "+")
((((triple2) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is not furry.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule6))]
("Fiona" "is" "furry" "-")
((((triple2) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "round" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Charlie is red.[(triple1)] Fiona is round.[(triple2)] Harry is furry.[(triple3)] @1: Charlie is furry.[(((triple1) -> rule6))] Fiona is red.[(((triple2) -> rule3))] Harry is red.[(((triple3) -> rule4))] @2: Fiona is furry.[(((((triple2) -> rule3)) -> rule6))]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Fiona is round.
("Fiona" "is" "round" "+")
triple2
Harry is furry.
("Harry" "is" "furry" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple1) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple2) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple3) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple2) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2