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