Bob is green. Bob is red. Charlie is young. Dave is blue. Dave is cold. Dave is green. Dave is red. Dave is round. Fiona is cold. Fiona is furry. If someone is red then they are round. All young people are round. If Dave is red and Dave is furry then Dave is blue.
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
All young people are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If Dave is red and Dave is furry then Dave is blue.
((("Dave" "is" "red" "+") ("Dave" "is" "furry" "+")) -> ("Dave" "is" "blue" "+"))
Dave is blue.
True
1
proof
[(triple4)]
("Dave" "is" "blue" "+")
triple4
Dave is not red.
False
1
inv-proof
[(triple7)]
("Dave" "is" "red" "-")
triple7
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "round" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Bob is green.[(triple1)] Bob is red.[(triple2)] Charlie is young.[(triple3)] Dave is blue.[(triple4)] Dave is cold.[(triple5)] Dave is green.[(triple6)] Dave is red.[(triple7)] Dave is round.[(triple8 OR ((triple7) -> rule1))] Fiona is cold.[(triple9)] Fiona is furry.[(triple10)] @1: Bob is round.[(((triple2) -> rule1))] Charlie is round.[(((triple3) -> rule2))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple8
((triple7) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
Bob is round.
("Bob" "is" "round" "+")
((triple2) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple3) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1