Bob is blue. Bob is green. Bob is kind. Bob is nice. Bob is rough. Bob is white. Bob is young. Dave is white. Dave is young. Erin is green. Erin is rough. Erin is young. Fiona is blue. Fiona is green. Fiona is rough. Rough things are green. Young, kind things are white. All rough, green things are nice.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Rough things are green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
Young, kind things are white.
((("something" "is" "young" "+") ("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
All rough, green things are nice.
((("something" "is" "rough" "+") ("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
Fiona is blue.
True
1
proof
[(triple13)]
("Fiona" "is" "blue" "+")
triple13
Fiona is not green.
False
1
inv-proof
[(triple14 OR ((triple15) -> rule1))]
("Fiona" "is" "green" "-")
triple14
((triple15) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is nice.
True
3
proof
[(((triple15 triple14) -> rule3) OR ((triple15 ((triple15) -> rule1)) -> rule3))]
("Fiona" "is" "nice" "+")
((triple15 triple14) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((triple15 ((triple15) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not nice.
False
3
inv-proof
[(((triple15 triple14) -> rule3) OR ((triple15 ((triple15) -> rule1)) -> rule3))]
("Fiona" "is" "nice" "-")
((triple15 triple14) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((triple15 ((triple15) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "nice" "-")
Fiona is white.
Unknown
rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "white" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Bob is blue.[(triple1)] Bob is green.[(triple2 OR ((triple5) -> rule1))] Bob is kind.[(triple3)] Bob is nice.[(triple4 OR ((triple5 triple2) -> rule3) OR ((triple5 ((triple5) -> rule1)) -> rule3))] Bob is rough.[(triple5)] Bob is white.[(triple6 OR ((triple7 triple3) -> rule2))] Bob is young.[(triple7)] Dave is white.[(triple8)] Dave is young.[(triple9)] Erin is green.[(triple10 OR ((triple11) -> rule1))] Erin is rough.[(triple11)] Erin is young.[(triple12)] Fiona is blue.[(triple13)] Fiona is green.[(triple14 OR ((triple15) -> rule1))] Fiona is rough.[(triple15)] @1: Erin is nice.[(((triple11 triple10) -> rule3) OR ((triple11 ((triple11) -> rule1)) -> rule3))] Fiona is nice.[(((triple15 triple14) -> rule3) OR ((triple15 ((triple15) -> rule1)) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
((triple5) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple4
((triple5 triple2) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple5 ((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Bob is white.
("Bob" "is" "white" "+")
triple6
((triple7 triple3) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
triple7
Dave is white.
("Dave" "is" "white" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple9
Erin is green.
("Erin" "is" "green" "+")
triple10
((triple11) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple11
Erin is young.
("Erin" "is" "young" "+")
triple12
Fiona is blue.
("Fiona" "is" "blue" "+")
triple13
Fiona is green.
("Fiona" "is" "green" "+")
triple14
((triple15) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple15
Erin is nice.
("Erin" "is" "nice" "+")
((triple11 triple10) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple11 ((triple11) -> (rule1 % int2))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple15 triple14) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((triple15 ((triple15) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2