Anne is young. Bob is nice. Fiona is red. Harry is nice. Quiet, green things are red. All white things are green. If Bob is nice then Bob is white. Quiet, young things are green. All green things are round. All quiet, white things are young.
Anne is young.
("Anne" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Quiet, green things are red.
((("something" "is" "quiet" "+") ("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
All white things are green.
((("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
If Bob is nice then Bob is white.
((("Bob" "is" "nice" "+")) -> ("Bob" "is" "white" "+"))
Quiet, young things are green.
((("something" "is" "quiet" "+") ("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
All green things are round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
All quiet, white things are young.
((("something" "is" "quiet" "+") ("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
Harry is nice.
True
1
proof
[(triple4)]
("Harry" "is" "nice" "+")
triple4
Anne is not young.
False
1
inv-proof
[(triple1)]
("Anne" "is" "young" "-")
triple1
Bob is white.
True
2
proof
[(((triple2) -> rule3))]
("Bob" "is" "white" "+")
((triple2) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is not white.
False
2
inv-proof
[(((triple2) -> rule3))]
("Bob" "is" "white" "-")
((triple2) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is green.
True
3
proof
[(((((triple2) -> rule3)) -> rule2))]
("Bob" "is" "green" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is not green.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule2))]
("Bob" "is" "green" "-")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Harry is not round.
Unknown
inv-rconc
[@2: Harry is round.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Harry" "is" "round" "-")
Fiona is young.
Unknown
rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "young" "+")
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Anne is young.[(triple1)] Bob is nice.[(triple2)] Fiona is red.[(triple3)] Harry is nice.[(triple4)] @1: Bob is white.[(((triple2) -> rule3))] @2: Bob is green.[(((((triple2) -> rule3)) -> rule2))] @3: Bob is round.[(((((((triple2) -> rule3)) -> rule2)) -> rule5))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Harry is nice.
("Harry" "is" "nice" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
((triple2) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((((((triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3