Bob is big. Bob is blue. Bob is green. Bob is rough. Bob is round. Bob is smart. Bob is young. Charlie is blue. Charlie is green. Charlie is rough. Charlie is round. Charlie is smart. Charlie is young. Fiona is big. Fiona is green. Fiona is round. All young people are blue. Rough people are young. Big people are young.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is round.
("Fiona" "is" "round" "+")
All young people are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Rough people are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
Big people are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Charlie is rough.
True
1
proof
[(triple10)]
("Charlie" "is" "rough" "+")
triple10
Bob is not round.
False
1
inv-proof
[(triple5)]
("Bob" "is" "round" "-")
triple5
Fiona is young.
True
2
proof
[(((triple14) -> rule3))]
("Fiona" "is" "young" "+")
((triple14) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not young.
False
2
inv-proof
[(((triple14) -> rule3))]
("Fiona" "is" "young" "-")
((triple14) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is blue.
True
3
proof
[(((((triple14) -> rule3)) -> rule1))]
("Fiona" "is" "blue" "+")
((((triple14) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is not blue.
False
3
inv-proof
[(((((triple14) -> rule3)) -> rule1))]
("Fiona" "is" "blue" "-")
((((triple14) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple7) -> rule1) OR ((((triple1) -> rule3)) -> rule1) OR ((((triple4) -> rule2)) -> rule1))] Bob is green.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7 OR ((triple1) -> rule3) OR ((triple4) -> rule2))] Charlie is blue.[(triple8 OR ((triple13) -> rule1) OR ((((triple10) -> rule2)) -> rule1))] Charlie is green.[(triple9)] Charlie is rough.[(triple10)] Charlie is round.[(triple11)] Charlie is smart.[(triple12)] Charlie is young.[(triple13 OR ((triple10) -> rule2))] Fiona is big.[(triple14)] Fiona is green.[(triple15)] Fiona is round.[(triple16)] @1: Fiona is young.[(((triple14) -> rule3))] @2: Fiona is blue.[(((((triple14) -> rule3)) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
((triple7) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
Bob is smart.
("Bob" "is" "smart" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple7
((triple1) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple4) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
((triple13) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
triple9
Charlie is rough.
("Charlie" "is" "rough" "+")
triple10
Charlie is round.
("Charlie" "is" "round" "+")
triple11
Charlie is smart.
("Charlie" "is" "smart" "+")
triple12
Charlie is young.
("Charlie" "is" "young" "+")
triple13
((triple10) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
triple14
Fiona is green.
("Fiona" "is" "green" "+")
triple15
Fiona is round.
("Fiona" "is" "round" "+")
triple16
Fiona is young.
("Fiona" "is" "young" "+")
((triple14) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple14) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2