Bob is big. Bob is young. Dave is big. Dave is red. Dave is round. Dave is young. Fiona is green. Fiona is nice. Fiona is round. Fiona is young. Harry is nice. Harry is rough. All round things are red. Big things are rough. All rough, young things are nice.
Bob is big.
("Bob" "is" "big" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
All round things are red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
Big things are rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
All rough, young things are nice.
((("something" "is" "rough" "+") ("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
Bob is big.
True
1
proof
[(triple1)]
("Bob" "is" "big" "+")
triple1
Bob is not young.
False
1
inv-proof
[(triple2)]
("Bob" "is" "young" "-")
triple2
Dave is rough.
True
2
proof
[(((triple3) -> rule2))]
("Dave" "is" "rough" "+")
((triple3) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Fiona is not red.
False
2
inv-proof
[(((triple9) -> rule1))]
("Fiona" "is" "red" "-")
((triple9) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "-")
Fiona is rough.
Unknown
rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "rough" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Bob is big.[(triple1)] Bob is young.[(triple2)] Dave is big.[(triple3)] Dave is red.[(triple4 OR ((triple5) -> rule1))] Dave is round.[(triple5)] Dave is young.[(triple6)] Fiona is green.[(triple7)] Fiona is nice.[(triple8)] Fiona is round.[(triple9)] Fiona is young.[(triple10)] Harry is nice.[(triple11)] Harry is rough.[(triple12)] @1: Bob is rough.[(((triple1) -> rule2))] Dave is rough.[(((triple3) -> rule2))] Fiona is red.[(((triple9) -> rule1))] @2: Bob is nice.[(((((triple1) -> rule2) triple2) -> rule3))] Dave is nice.[(((((triple3) -> rule2) triple6) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple4
((triple5) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple12
Bob is rough.
("Bob" "is" "rough" "+")
((triple1) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple3) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple9) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((((triple1) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((triple3) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2