Anne is green. Anne is young. Bob is blue. Bob is furry. Bob is nice. Bob is not red. Bob is white. Bob is young. Fiona is blue. Fiona is green. Fiona is nice. Fiona is red. Fiona is not young. Harry is not blue. Harry is nice. Harry is not red. If Bob is red then Bob is not blue. Young people are not red. If someone is furry and not nice then they are young. If Bob is red then Bob is white. If someone is furry then they are blue. If someone is green and not red then they are white. All red people are white. Furry, young people are white.
Anne is green.
("Anne" "is" "green" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is not red.
("Bob" "is" "red" "-")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is not red.
("Harry" "is" "red" "-")
If Bob is red then Bob is not blue.
((("Bob" "is" "red" "+")) -> ("Bob" "is" "blue" "-"))
Young people are not red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "-"))
If someone is furry and not nice then they are young.
((("someone" "is" "furry" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "young" "+"))
If Bob is red then Bob is white.
((("Bob" "is" "red" "+")) -> ("Bob" "is" "white" "+"))
If someone is furry then they are blue.
((("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and not red then they are white.
((("someone" "is" "green" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "white" "+"))
All red people are white.
((("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
Furry, young people are white.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
Fiona is green.
True
1
proof
[(triple10)]
("Fiona" "is" "green" "+")
triple10
Anne is not young.
False
1
inv-proof
[(triple2)]
("Anne" "is" "young" "-")
triple2
Fiona is white.
True
2
proof
[(((triple12) -> rule7))]
("Fiona" "is" "white" "+")
((triple12) -> (rule7 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple12) -> rule7))]
("Fiona" "is" "white" "-")
((triple12) -> (rule7 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Anne is white.
True
4
proof
[(((triple1 ((triple2) -> rule2)) -> rule6))]
("Anne" "is" "white" "+")
((triple1 ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is not red.
("Anne" "is" "red" "-")
int2
Anne is not white.
False
4
inv-proof
[(((triple1 ((triple2) -> rule2)) -> rule6))]
("Anne" "is" "white" "-")
((triple1 ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is not red.
("Anne" "is" "red" "-")
int2
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "blue" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "young" "+")
Harry is not white.
Unknown
inv-rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "white" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Anne is green.[(triple1)] Anne is young.[(triple2)] Bob is blue.[(triple3 OR ((triple4) -> rule5))] Bob is furry.[(triple4)] Bob is nice.[(triple5)] Bob is not red.[(triple6 OR ((triple8) -> rule2))] Bob is white.[(triple7 OR ((triple4 triple8) -> rule8))] Bob is young.[(triple8)] Fiona is blue.[(triple9)] Fiona is green.[(triple10)] Fiona is nice.[(triple11)] Fiona is not young.[(triple13)] Fiona is red.[(triple12)] Harry is nice.[(triple15)] Harry is not blue.[(triple14)] Harry is not red.[(triple16)] @1: Anne is not red.[(((triple2) -> rule2))] Fiona is white.[(((triple12) -> rule7))] @2: Anne is white.[(((triple1 ((triple2) -> rule2)) -> rule6))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Bob is blue.
("Bob" "is" "blue" "+")
triple3
((triple4) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Bob is not red.
("Bob" "is" "red" "-")
triple6
((triple8) -> (rule2 % int1))
Bob is not red.
("Bob" "is" "red" "-")
int1
Bob is white.
("Bob" "is" "white" "+")
triple7
((triple4 triple8) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
triple8
Fiona is blue.
("Fiona" "is" "blue" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Fiona is nice.
("Fiona" "is" "nice" "+")
triple11
Fiona is not young.
("Fiona" "is" "young" "-")
triple13
Fiona is red.
("Fiona" "is" "red" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple15
Harry is not blue.
("Harry" "is" "blue" "-")
triple14
Harry is not red.
("Harry" "is" "red" "-")
triple16
Anne is not red.
("Anne" "is" "red" "-")
((triple2) -> (rule2 % int1))
Anne is not red.
("Anne" "is" "red" "-")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple12) -> (rule7 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((triple1 ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is not red.
("Anne" "is" "red" "-")
int2